def foo[T=str](x: T) -> T:
    ...
